VertexInComponent
VertexInComponent[g,{v1,v2,…},k] gives the vertices with a directed path to at least one of v1, v2, … of at most length k.
VertexInComponent[g,{v1,v2,…},{k}] gives the vertices at length exactly k.
VertexInComponent[{v->w,…},…] uses rules v->w to specify the graph g.
Please visit the official Wolfram Language Reference for more details and examples on core symbols.